Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
81	Computer algebra in quantum computing and quantum information theory Special Session at the 21st International Conference on Applications of Computer AlgebraACA2015), July 20-23, 2015, Kalamata, Greece. Add to Reading List Source URL: www.iitis.pl Language: English - Date: 2014-11-26 05:29:41 Quantum mechanics Computational complexity theory Computer algebra Quantum information Quantum information theory Quantum computer Quantum algorithm Symbolic computation Schrödinger equation Applied mathematics Theoretical computer science Physics
82	J. Symbolic Computation, 1–000 Algorithms for graded injective resolutions and local cohomology over semigroup rings David Helm and Ezra Miller Mathematics Department, Harvard University, Cambridge, MA, USA Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2005-05-13 15:17:54 Commutative algebra Homological algebra Algebraic geometry Injective module Category theory Finitely-generated module Module Essential extension Ample line bundle Abstract algebra Algebra Module theory
83	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
84	professors William Farmer & Jacques Carette Mechanising mathematics Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-05-23 14:39:30 Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software
85	LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, 1993 c 1993 Kluwer Academic Publishers { Manufactured in The Netherlands Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11
86	LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{??, 1993 c 1993 Kluwer Academic Publishers { Manufactured in The Netherlands A Tractable Scheme Implementation RICHARD A. KELSEY Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Control flow Subroutines Functional languages Lisp programming language Cross-platform software Scheme Lisp Continuation Tail call Software engineering Computing Computer programming
87	The Class of Constraint Satisfaction Problems over a Knot Peter Golbus, Robert W. McGrail, Mona Merling, Kenneth Ober, Mary Sharac, and Japheth Wood The Laboratory for Algebraic and Symbolic Computation Reem-Kayden Cente Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-27 11:59:38 Algebra Racks and quandles Constraint satisfaction Structure Tricolorability Quasigroup Figure-eight knot Knot theory Abstract algebra Mathematics
88	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing
89	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
90	Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC) Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2015-04-21 02:40:32 Reduced instruction set computing Johannes Kepler Parallel computing Computing Computer science Austria European people Bruno Buchberger Germany Research Institute for Symbolic Computation Hagenberg im Mühlkreis Linz

UPDATE